What does [a|b|c] evaluate to in Prolog?

Posted by Ambrose on Stack Overflow See other posts from Stack Overflow or by Ambrose
Published on 2010-06-03T15:00:33Z Indexed on 2010/06/03 15:04 UTC
Read the original article Hit count: 211

Filed under:

prolog

|

pipe

|

cons

|

possible-homework

The pipe operator in prolog returns one or more atomic Heads and a Tail list.

?- [a,b,c] = [a,b|[c]].
true.

Nesting multiple pipes in a single match can be done similar to this:

?- [a,b,c] = [a|[b|[c]]].
true.

What does the statement [a|b|c] infer about a, b and c?

© Stack Overflow or respective owner

Related posts about prolog

Prolog open source community, code repository,blogs,forums

as seen on Stack Overflow - Search for 'Stack Overflow'
I find useful groups.google.com/group/comp.lang.prolog/topics cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/ google.com/Top/Computers/Programming/Languages/Prolog/Implementations/ allisons.org/ll/Logic/Prolog/Examples/ prolog.info/ Maybe there are else useful links? Please share it :-) >>> More
Prolog - ASSERT and RETRACT

as seen on Stack Overflow - Search for 'Stack Overflow'
I was wondering, I am aware you can use assert to add facts or rules or whatever if you have declared the predicate to be -:dynamic, but this only allows the changes that are made to be kept in that session only, e.g. if you close the prolog window then the database changes are lost. So I was wondering… >>> More
Prolog : Simple question

as seen on Stack Overflow - Search for 'Stack Overflow'
I want to add any strings user entered into a list run :- write('How many students you have: '),read(x),nl. enterNameOfStudents(x). enterNameOfStudents(x) :- for(A, 1, x, 1),write('Please enter the names of students'),read(A),??????,nl,fail. What do i put in the ?????? portion to ensure… >>> More
Real world Prolog usage

as seen on Stack Overflow - Search for 'Stack Overflow'
Many study Prolog in college, but I have personally not come in contact with it professionally. The traditional examples given are AI and expert system applications, but what have you used it for and what made Prolog a suitable language for the task? >>> More
Simple question - XSB Prolog

as seen on Stack Overflow - Search for 'Stack Overflow'
Hello! I'm diving into the world of prolog headfirst but I seem to have hit shallow water! I'm looking at database manipulation in prolog with regards to this tutorial:Learn Prolog Now! It states that I can see my database by entering listing So i tried it and it should basically output everything… >>> More

Related posts about pipe

Using SAS Macro to pipe a list of filenames from a Windows directory

as seen on Stack Overflow - Search for 'Stack Overflow'
I am trying to amend the macro below to accept a macro parameter as the 'location' argument for a dir command. However I cannot get it to resolve correctly due to the nested quotes issue. Using %str(%') does not work, neither do quoting functions for some reason. The macro will work fine when the… >>> More
How to rate-limit a pipe under linux ?

as seen on Stack Overflow - Search for 'Stack Overflow'
Is there a filter which I could use to rate-limit a pipe on linux? If this exists, let call it rate-limit, I want to be able to type in a terminal something like cat /dev/urandom | rate-limit 3 -k | foo in order to send a a stream of random bytes to foo's standard input at a rate (lower than) 3… >>> More
Behavior of a pipe after a fork()

as seen on Stack Overflow - Search for 'Stack Overflow'
When reading about pipes in Advanced Programming in the UNIX Environment, I noticed that after a fork that the parent can close() the read end of a pipe and it doesn't close the read end for the child. When a process forks, does its file descriptors get retained? What I mean by this is that before… >>> More
How do I pipe terminal standard output (stdout) to the clipboard?

as seen on Ask Ubuntu - Search for 'Ask Ubuntu'
For example, Say I want to list the contents of a folder and directly paste them into a chat window for a friend to see. I realize I could do ls > filename.txt to create a file (filename.txt) with those contents; I'd then have to open or print the file and manually select and copy the text… >>> More
I can't upgrade 13.10 because of broken pipe

as seen on Ask Ubuntu - Search for 'Ask Ubuntu'
I try upgrading and this is what I get: christopher@chris-computer:~$ sudo apt-get upgrade [sudo] password for christopher: Reading package lists... Done Building dependency tree Reading state information... Done The following packages will be upgraded: librhythmbox-core7 1 upgraded, 0… >>> More